Local properties in modal logic
نویسندگان
چکیده
منابع مشابه
Local properties in modal logic
Article history: Received 18 August 2011 Received in revised form 1 March 2012 Accepted 22 April 2012 Available online 2 May 2012
متن کاملReasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For instance, adding a property like Kap→ Kbp (agent b knows at least what agent a knows) to an axiomatisation of some epistemic logic has as an effect that such a property becomes globally true, i.e., it will hold in all s...
متن کاملLocal Search and Modal Logic
Local search techniques have widespread use for solving propositional satisfiability problems. We investigate the use of adaptive local search techniques for model generation problems for modal logics; we focus on the modal logic S5. A local search algorithm extended with an adaptive heuristic is presented and tested on an ensemble of randomly generated problem instances. We briefly discuss the...
متن کاملGlobal vs. Local in Basic Modal Logic
We discuss results on global definability in basic modal logic, and contrast our model-theoretic results and proof techniques with known results about local definability.
متن کاملModal Logic, Autumn 2007 FIrst Steps in Modal Logic
Modal logic is sometimes characterized as the logic of necessity and possibility, of “must be” and “may be”. The aim of this book is to present both semantical and syntactical features of the subject and to illustrate gy detailed analysis of the three most popular modal systems S5,S4 and K. The text presupposes some knowledge of classical logic, although the necessary information is briefly rec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2012
ISSN: 0004-3702
DOI: 10.1016/j.artint.2012.04.007